$\forall$$T$:Type, $L$:($T$ List), $x$:$T$. ($\uparrow$null($L$)) $\Rightarrow$ ($\neg$($x$ $\in$ $L$))